Probabilistically checkable proof - PDFSEARCH.IO - Document Search Engine

Probabilistically checkable proof
Results: 138

#	Item
21	Applied research, post-graduate training and expertise by RP-PCP: Accompanying programs in agriculture and conservation in Zimbabwe Who we are: The Research Platform “Production and Conservation in Partnership” (RP-P Add to Reading List Source URL: afrique-orientale-australe.cirad.fr Language: English - Date: 2014-10-16 08:21:42 Geography of Zimbabwe Gonarezhou National Park Phencyclidine Probabilistically checkable proof Kavango–Zambezi Transfrontier Conservation Area Hwange National Park National parks of Zimbabwe Geography of Africa Neurochemistry
22	Self Assessment Tool Partnership Expectations Working together from within our agency Add to Reading List Source URL: www.eastgippslandpcp.com.au Language: English - Date: 2014-12-08 23:25:19 Phencyclidine Probabilistically checkable proof Medicine Biochemistry Piperidines Neurochemistry Probabilistic complexity theory
23	The Polyhedral Compilation Package P Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Compiler optimizations Phencyclidine Loop optimization Probabilistically checkable proof ALGOL 68 Polytope model GNU Compiler Collection Software Computing Programming language theory
24	Improving Exhaustive Search Implies Superpolynomial Lower Bounds Ryan Williams∗ IBM Almaden Research Center May 4, 2010 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2010-05-04 16:48:34 Complexity classes Computational resources Mathematical optimization Structural complexity theory Advice NTIME Probabilistically checkable proof NP P versus NP problem Theoretical computer science Computational complexity theory Applied mathematics
25	Improved Soundness for QMA with Multiple Provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-01-14 01:47:53 Quantum complexity theory QMA Probabilistic complexity theory Proof theory Model theory IP Probabilistically checkable proof Cook–Levin theorem Time complexity Theoretical computer science Computational complexity theory Applied mathematics
26	A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† Abstract Add to Reading List Source URL: www.quantum-lab.org Language: English - Date: 2014-11-28 23:31:17 Quantum information science Complexity classes Interactive proof system QMA NEXPTIME IP Probabilistically checkable proof Qubit Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
27	— A merged version of this work and the work of [BGW12] appears in the proceedings of the Theory of Cryptography Conference - TCC 2013 — On the (In)security of the Fiat-Shamir Paradigm, Revisited Dana Dachman-Soled M Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-17 13:39:52 Proof theory Zero-knowledge proof Interactive proof system Commitment scheme IP Soundness Probabilistically checkable proof Random oracle Symbol Cryptography Theoretical computer science Cryptographic protocols
28	How to Delegate Computations: The Power of No-Signaling Proofs Yael Tauman Kalai ∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-01 02:12:54 Computational complexity theory Interactive proof system NEXPTIME Probabilistically checkable proof IP Cryptographic protocols Soundness NP Zero-knowledge proof Theoretical computer science Applied mathematics Complexity classes
29	Succinct Non-Interactive Arguments via Linear Interactive Proofs Nir Bitansky∗ Tel Aviv University Alessandro Chiesa MIT Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-09-15 12:03:01 Computational complexity theory IP Proof of knowledge Zero-knowledge proof NP Probabilistically checkable proof Soundness Formal verification Snark Theoretical computer science Applied mathematics Cryptographic protocols
30	An extended abstract of this paper is published in the proceedings of the 13th International Conference on Cryptology in India [21] – IndocryptThis is the full version. On the Non-malleability of the Fiat-Shamir Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-16 15:16:50 Zero-knowledge proof Proof of knowledge Interactive proof system IP Soundness NP Random oracle Probabilistically checkable proof Fiat-Shamir heuristic Cryptography Cryptographic protocols Non-interactive zero-knowledge proof